$\forall$$a$:Id. locl($a$) $\in$ Knd